//class add {
//public:
//    add()
//    {
//        sum += tmp;
//        tmp++;
//    }
//    static int sum, tmp;
//};
//int add::sum = 0;
//int add::tmp = 1;
//
//class Solution {
//public:
//    int Sum_Solution(int n) {
//
//        add test[n];
//
//        return add::sum;
//    }
//};
//
//#include<iostream>
//
//using namespace std;
//
//bool leap_yaer(int n)
//{
//	if (n % 400 == 0 || (n % 4 == 0 && n % 100 != 0))
//		return true;
//	return false;
//}
//int main()
//{
//
//	int year, month, day;
//	int days[13] = { 0,31,59,90,120,151,181,212,243,273,304,334 };
//	cin >> year >> month >> day;
//
//	if (leap_year(year)&&month>2)
//	{
//		cout << days[month-1] + day + 1<<endl;
//	}
//	else
//	{
//		cout << days[month-1] + day<<endl;
//	}
//
//	return 0;
//}


#include<iostream>

using namespace std;

bool leap_year(int n)
{
	if (n % 400 == 0 || (n % 4 == 0 && n % 100 != 0))
		return true;
	return false;
}

int main()
{
	int year, day;
	int leapDays[13] = { 0,31,29,31,30,31,30,31,31,30,31,30,31 };
	int unLeapDays[13] = { 0,31,28,31,30,31,30,31,31,30,31,30,31 };

	while (cin >> year >> day)
	{
		int month = 1;
		if (leap_year(year))
		{
			while (day > leapDays[month])
			{
				day -= leapDays[month];
				month++;
			}

			printf("%04d-%02d-%02d\n", year, month, day);
		}
		else
		{
			while (day > unLeapDays[month])
			{
				day -= unLeapDays[month];
				month++;
			}

			printf("%04d-%02d-%02d\n", year, month, day);
		}
	}

	return 0;
}